Representation and Reasoning with Attributive Descriptions
نویسندگان
چکیده
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of attributive description formalisms. Emphasis is given to the logical foundations of these formalisms.
منابع مشابه
Attributive Concept Descriptions with Complements
Schmidt-SchaulL M. and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1991) 1-26. We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that c...
متن کاملA Principled Representation Of Attributive Descriptions For Generating Integrated Text And Information Graphics Presentations
This paper describes a media-independent, compositional, plan-based approach to representing attributive descriptions for use in integrated text and graphics generation. An attributive description's main function is to convey information directly contributing to the communicative goals of a discourse, whereas a referential description's only function is to enable the audience to identify a part...
متن کاملKnowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are used to form atomic formulae. The proposed language provides a concise and elegant tool for design, implementation and verification of rule-based systems.
متن کاملAttributive Description Formalisms : : : and the Rest of the World Published
Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artiicial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information ...
متن کاملAttributive Description Formalisms
Research in knowledge representation has led to the development of so-called terminological logics, the purpose of which is to support the representation of the conceptual and terminological part of Artificial Intelligence applications. Independently, in computational linguistics, so-called feature logics have been developed which are aimed at representing the semantic and syntactic information...
متن کامل